home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
CD ROM Paradise Collection 4
/
CD ROM Paradise Collection 4 1995 Nov.iso
/
misc
/
cabern.zip
/
EXAMPLES
/
PRINT_TR.NET
< prev
next >
Wrap
Text File
|
1994-09-08
|
1KB
|
23 lines
(TimedNet$print_trans.net9#
(TimedPlace$Net800#224#100#2#1#10#1#
(TimedToken$NET0#);1)
(TimedPlace$Transitions800#544#100#2#1#19#0#;1)
(TimedPlace$Trans544#832#100#2#1#12#0#;1)
(TimedPlace$Name800#1184#100#2#1#13#0#;1)
(TimedPlace$syncr1088#832#100#2#1#14#1#
(TimedToken$0#);1)
(TimedTransition$getTransitions800#384#100#1#1#15#TRUEgetTransitions(Net,Transitions);enabenabSTRONG)
(TimedTransition$Extract800#736#100#1#1#16#!emptyset(Transitions)getFromSet(Transitions,Trans);enabenabSTRONG)
(TimedTransition$Getname544#1056#100#1#1#17#TRUEgetName(Trans,Name);enabenabSTRONG)
(TimedTransition$Print1088#1056#100#1#1#18#TRUEprint(Name); writeln();enabenabSTRONG)10#
(Arc$A10#0#0#0#0#0#0#0#20#0#1#2^9^1)
(Arc$A80#0#0#0#0#0#0#0#20#0#1#9^4^1)
(Arc$A90#0#0#0#0#0#0#0#20#0#1#4^10^1)
(Arc$A10736#672#0#0#0#0#0#0#20#0#1#10^4^1)
(Arc$A50#0#0#0#0#0#0#0#20#0#1#10^5^1)
(Arc$A60#0#0#0#0#0#0#0#20#0#1#7^10^1)
(Arc$A70#0#0#0#0#0#0#0#20#0#1#5^11^1)
(Arc$A80#0#0#0#0#0#0#0#20#0#1#11^6^1)
(Arc$A90#0#0#0#0#0#0#0#20#0#1#6^12^ezze1/carlo/print-places.net)
(Arc$A100#0#0#0#0#0#0#0#20#0#1#12^7^1)19#)